An Axiomatic Approach to Computer Arithmetic
نویسنده
چکیده
Different kinds of computer arithmetic follow an abstract mathematical pattern and are just special realizations of it. The basic mathematical concepts are sketched here. The concepts of rounding, of a screen, and of rounded arithmetic operations are defined in an axiomatic manner fully independent of special data formats and encodings. These abstract concepts are then applied and illustrated by the two elementary models of computer arithmetic for real numbers and for real intervals. In the latter case definition of the arithmetic operations as set operations does not suffice. Executable formulas have to be derived. We also demonstrate how this can be achieved. Finally we sketch a hardware realization of interval arithmetic and show that most of what is needed for it is already available on current x86-processors.
منابع مشابه
An axiomatic approach of the discrete Choquet integral as a tool to aggregate interacting criteria
The most often used operator to aggregate criteria in decision making problems is the classical weighted arithmetic mean. In many problems however, the criteria considered interact, and a substitute to the weighted arithmetic mean has to be adopted. We show that, under rather natural conditions, the discrete Choquet integral is an adequate aggregation operator that extends the weighted arithmet...
متن کاملUp-to-date Interval Arithmetic: From Closed Intervals to Connected Sets of Real Numbers
This paper unifies the representations of different kinds of computer arithmetic. It is motivated by ideas developed in the book The End of Error by John Gustafson [5]. Here interval arithmetic just deals with connected sets of real numbers. These can be closed, open, half-open, bounded or unbounded. The first chapter gives a brief informal review of computer arithmetic from early floating-poin...
متن کاملMathematics and Speed for Interval Arithmetic A Complement to IEEE P1788
The paper begins with an axiomatic definition of rounded arithmetic. The concepts of rounding and of rounded arithmetic operations are defined in an axiomatic manner fully independent of special data formats and encodings. Basic properties of floating-point and interval arithmetic can directly be derived from this abstract model. Interval operations are defined as set operations for elements of...
متن کاملSelection of Intermodal Conductivity Averaging Scheme for Unsaturated Flow in Homogeneous Media
The nonlinear solvers in numerical solution of water flow in variably saturated soils are prone to convergence difficulties. Many aspects can give rise to such difficulties, like very dry initial conditions, a steep pressure gradient and great variation of hydraulic conductivity occur across the wetting front during the infiltration of water. So, the averaging method applied to compute hydraul...
متن کاملSBM extended model with nonlinear value data in data envelopment analysis with axiomatic approach
One of the important goals of banks as important economic enterprises of any country is to increase economic efficiency. One of the important goals of banks as important economic enterprises of any country is to increase economic efficiency. The classical approach to data envelopment analysis models takes into account the linear valuation function for all indicators. But linear valuation in man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011